Natural proof - PDFSEARCH.IO - Document Search Engine

Natural proof
Results: 343

#	Item
301	The Logical Basis of Evaluation Order and Pattern-Matching Noam Zeilberger Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2009-10-21 18:53:38 Theoretical computer science Logic in computer science Proof theory Data types Dependently typed programming Natural deduction Curry–Howard correspondence Linear logic Subtype polymorphism Logic Mathematics Type theory
302	Notes by David Groisser, Copyright c 1993, revised version[removed]Peano Axioms for the Natural Numbers Add to Reading List Source URL: www.math.ufl.edu Language: English - Date: 2001-09-06 10:32:21 Elementary mathematics Mathematical proofs Proof theory Formal systems Peano axioms Mathematical induction Number system Axiom Natural number Mathematics Mathematical logic Logic
303	Intensionality, Extensionality, and Proof Irrelevance in Modal Type Theory Frank Pfenning∗ Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-04-10 23:35:37 Deduction Set theory Logic in computer science Symbol Entailment Extensionality Function Interpretation Natural deduction Logic Mathematical logic Mathematics
304	Homology, Homotopy and Applications, vol.5(2), 2003, pp.137–209 ON THE GEOMETRY OF INTUITIONISTIC S4 PROOFS Add to Reading List Source URL: www.maths.soton.ac.uk Language: English - Date: 2003-04-22 14:53:24 Logic in computer science Philosophical logic Non-classical logic Propositional calculus Proof theory Combinatory logic Natural deduction Curry–Howard correspondence Modal logic Logic Mathematical logic Mathematics
305	CHAPTER FOUR: THE NATURAL NUMBERS, INDUCTION, AND RECURSIVE DEFINITION Add to Reading List Source URL: www.ling.ohio-state.edu Language: English - Date: 2008-10-19 19:16:41 Ordinal numbers Proof theory Order theory Well-order Constructible universe Mathematical induction Surreal number Sylow theorems Mathematics Mathematical logic Logic
306	Theoretical Elsevier Add to Reading List Source URL: www.univr.it Language: English - Date: 2012-11-16 08:23:50 Non-classical logic Substructural logic Logic in computer science Predicate logic Sequent calculus Intuitionistic logic First-order logic Atomic formula Natural deduction Logic Mathematical logic Proof theory
307	Mathematical Logic Helmut Schwichtenberg Add to Reading List Source URL: www.mathematik.uni-muenchen.de Language: English - Date: 2010-07-21 04:18:08 Predicate logic Propositional calculus Logical syntax Proof theory First-order logic Natural deduction Well-formed formula Atomic formula Intuitionistic logic Logic Mathematical logic Mathematics
308	Substitution Frege and extended Frege proof systems in non-classical logics Emil Jeˇr´abek Add to Reading List Source URL: www.math.cas.cz Language: English - Date: 2008-11-24 09:00:50 Propositional calculus Modal logic Logic in computer science Philosophical logic Kripke semantics General frame Intermediate logic Intuitionistic logic Natural deduction Logic Mathematical logic Non-classical logic
309	Tobias Nipkow Markus Wenzel Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2013-02-12 08:40:54 Mathematical proof Recursion Mathematical induction Algorithm Theorem Structural induction Natural deduction Automated theorem proving Recursive definition Mathematics Logic Mathematical logic
310	1 An Overview of Linear Logic Programming Dale Miller Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2003-09-29 10:45:32 Proof theory Linear logic Logic programming Sequent Natural deduction Intuitionistic logic Cut-elimination theorem Interpretation Well-formed formula Logic Mathematical logic Mathematics

UPDATE